int ios_ReloadIOS(int ios, int *ahbprot);